没有证明，就没有真正的数学！ 数学史巨匠约翰·史迪威新作，全彩印刷磅礴数学史 ◎内容简介 证明是数学思想中十分重要且极具开拓性的特征之一。没有证明，我们就无法谈论真正的数学。 本书从古希腊几何学时代讲起，涵盖代数、微积分、集合、数论、拓扑、逻辑等几乎全部数学分支中的证明故事，讲述了证明的演变及其在数学中的重要作用和启发意义。我们将看到欧几里得、康托尔、哥德尔、图灵等数学大师的精彩发现和发明。本书不是教材，而是在讲数学的历史，更是在讲数学思想的演变。作者揭示了数学学习和研究的底层方法和逻辑，让读者看到在数学中什么定理可以被证明、如何证明，以及什么问题可以（或无法）被解决，为数学研究和发展提供了全新的视角。 ◎编辑推荐 ☆数学史泰斗约翰·史迪威新作。 ☆没有证明，就没有真正的数学。 ☆无论在数学中还是在生活中，人类不仅要知道哪些东西是真的，哪些不是真的，...(展开全部)

证明是数学思想中最重要，也是极具开拓性的特征之一。没有证明，就无法谈论真正的数学。本书讲述了证明的演变及其在数学中的重要作用和启发意义。从古希腊几何学时代开始，涵盖代数、微积分、集合、数论、拓扑、逻辑等几乎全部数学分支中的证明故事。我们将看到欧几里德、康托尔、哥德尔、图灵等数学大师的精彩发现和发明。这本书不是教材，它是在讲数学的历史，更是在讲数学思想的演变。作者揭示了数学学习和研究的底层方法和逻辑，让读者看到在数学中什么定理可以被证明，如何证明？什么问题可以（或无法）被解决？为数学研究和发展打开全新的视角。

勾股定理是初等几何中最精彩、最著名和最有用的定理，从古巴比伦至今的悠悠4000年的历史长河里，它的身影若隐若现。许多重要的数学、物理理论中都能发现它的踪迹，甚至连邮票、T-恤、诗歌、散文、音乐剧中也能看到它的身影。 作者带领我们穿越历史的迷雾，从远古走来。欧几里得几何、代数几何、微积分、黎曼几何、爱因斯坦相对论，一个个我们熟悉的数学发现的背后无不渗透着勾股定理的影响，古典数学和现代数学的历史轨迹竟然一脉相承，从未走远。历史的变迁、科学史上的重要发现，都随着勾股定理的长袖善舞而一一展开。读者将为书中展现的壮丽史实而深深震撼，极大地丰富自己的视野。

勾股定理是初等几何中最精彩、最著名和最有用的定理，从古巴比伦至今的悠悠4000年的历史长河里，它的身影若隐若现。许多重要的数学、物理理论中都能发现它的踪迹，甚至连邮票、T-恤、诗歌、散文、音乐剧中也能看到它的身影。 作者带领我们穿越历史的迷雾，从远古走来。欧几里得几何、代数几何、微积分、黎曼几何、爱因斯坦相对论，一个个我们熟悉的数学发现的背后无不渗透着勾股定理的影响，古典数学和现代数学的历史轨迹竟然一脉相承，从未走远。历史的变迁、科学史上的重要发现，都随着勾股定理的长袖善舞而一一展开。读者将为书中展现的壮丽史实而深深震撼，极大地丰富自己的视野。

本书主要介绍了勾股定理的365种证明方法，并按证法的类型进行归纳、整理和总结，让读者有一个全面而系统的了解.书中大多数证法用到的知识不超过初中几何的教学范围，许多证法思路巧妙，别具一格，对提高读者的几何素养大有裨益。本书可以作为广大中学师生和数学爱好者的参考读物.

本书主要介绍了勾股定理的365种证明方法，并按证法的类型进行归纳、整理和总结，让读者有一个全面而系统的了解.书中大多数证法用到的知识不超过初中几何的教学范围，许多证法思路巧妙，别具一格，对提高读者的几何素养大有裨益。本书可以作为广大中学师生和数学爱好者的参考读物.

《现代数学(1900-1950年)》记叙的十位不平凡的人物，有着不同的国籍，各异的人生经历，迥然的性格特质，但他们都是20世纪上半叶的数学先锋。以希尔伯特的23道数学难题始，他们首先聚焦于刚刚创立的集合论，进而扩展到整个数学领域的重新审视，他们中的大部分参与并成就了哥廷根的辉煌。数学在动荡的战争岁月没有停下脚步，相反，最初的计算机研发与军用密切相关，数学没有国界，但数学家有国界，冯·诺依曼、图灵、霍珀和维纳都在战时发挥了重要的作用。三位女数学家中竞有两位叫格蕾斯，她们的学识和成就更来之不易，因而她们的智慧和奋斗精神令人赞叹。

《数学先锋:现代数学(1900-1950)》记叙的十位不平凡的人物，有着不同的国籍，各异的人生经历，迥然的性格特质，但他们都是20世纪上半叶的数学先锋。以希尔伯特的23道数学难题始，他们首先聚焦于刚刚创立的集合论，进而扩展到整个数学领域的重新审视，他们中的大部分参与并成就了哥廷根的辉煌。数学在动荡的战争岁月没有停下脚步，相反，最初的计算机研发与军用密切相关，数学没有国界，但数学家有国界，冯·诺依曼、图灵、霍珀和维纳都在战时发挥了重要的作用。三位女数学家中竟有两位叫格蕾斯，她们的学识和成就更来之不易，因而她们的智慧和奋斗精神令人赞叹。《数学先锋:现代数学(1900-1950)》后半部分的三位美国数学家以涉猎广泛、多才多艺见长，不再是单一的数学家身份，而拉马努金和艾迪斯这对天才与怪才似乎只为数学而生……

《数学先锋:现代数学(1900-1950)》记叙的十位不平凡的人物，有着不同的国籍，各异的人生经历，迥然的性格特质，但他们都是20世纪上半叶的数学先锋。以希尔伯特的23道数学难题始，他们首先聚焦于刚刚创立的集合论，进而扩展到整个数学领域的重新审视，他们中的大部分参与并成就了哥廷根的辉煌。数学在动荡的战争岁月没有停下脚步，相反，最初的计算机研发与军用密切相关，数学没有国界，但数学家有国界，冯·诺依曼、图灵、霍珀和维纳都在战时发挥了重要的作用。三位女数学家中竟有两位叫格蕾斯，她们的学识和成就更来之不易，因而她们的智慧和奋斗精神令人赞叹。《数学先锋:现代数学(1900-1950)》后半部分的三位美国数学家以涉猎广泛、多才多艺见长，不再是单一的数学家身份，而拉马努金和艾迪斯这对天才与怪才似乎只为数学而生……

《现代数学(1900-1950年)》记叙的十位不平凡的人物，有着不同的国籍，各异的人生经历，迥然的性格特质，但他们都是20世纪上半叶的数学先锋。以希尔伯特的23道数学难题始，他们首先聚焦于刚刚创立的集合论，进而扩展到整个数学领域的重新审视，他们中的大部分参与并成就了哥廷根的辉煌。数学在动荡的战争岁月没有停下脚步，相反，最初的计算机研发与军用密切相关，数学没有国界，但数学家有国界，冯·诺依曼、图灵、霍珀和维纳都在战时发挥了重要的作用。三位女数学家中竞有两位叫格蕾斯，她们的学识和成就更来之不易，因而她们的智慧和奋斗精神令人赞叹。